COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00003 00003	.PORTION FRENCHCONF
C00005 ENDMK
C⊗;
.DEVICE XGP

.FONT 1 "NGR25"
.FONT 2 "NGB30"
.FONT 3 "SHD40"
.FONT 4  "BDI25"
.FONT 5  "NGR20"
.TURN ON "↓_π{"
.TURN ON "⊗" FOR "%"
.MACRO B ⊂ BEGIN VERBATIM GROUP ⊃
.MACRO E ⊂ APART END ⊃
.TABBREAK
.COMPACT
.SELECT 1

.PORTION FRENCHCONF
.NEXT PAGE
.GROUP SKIP 3
.BEGIN FLUSH RIGHT
Douglas B. Lenat
Artificial Intelligence Laboratory
Computer Science Department
Stanford University
Stanford, California 94305, USA
Telephone 415-497-4971
{DATE}
.END
.B





Public Relations Department
Institut de Recherche d'Informatique
Domaine de Volceau
78150 Le Chesnay, France



.E
.SELECT 2
Dear Sirs,

.SKIP 2
.INDENT 6

	I am happy to respond to your call for papers for the
International
Symposium on Proving and Improving Programs.  I wish to present a paper
entitled, ⊗4Synthesis of Large Programs From Specific Dialogues⊗*. Four copies
have been dispatched to you, and should arrive before 15 January. If you do not
receive them, please contact me; my address and telephone number are above. 
Thank you very much.

.B

					Sincerely yours,

.E